科研证明
文献服务
退出
我的积分:
中文文献批量获取
外文文献批量获取
机译:针对类Java语言的类型健全性的同步大步操作语义
Davide Ancona;
机译:共归性大步操作语义
机译:一种用于Whirl的基于协导轨迹的大步语义的Hoare逻辑
机译:解构大步建模语言的语义
机译:具有共归性大步语义的面向对象语言的健全性
机译:数据库查询语言的定义明确,语义类型检查和类型推断。
机译:双语能力对自由召回输出中的召回准确性和语义聚类的影响:跨语言共享语义关联的证据
机译:用递归和并发关系编程语言的指称和操作语义
机译:自然语言文本的计算机化语义索引方法,自然语言文本的计算机化语义索引方法以及机器可读媒体
机译:自然语言中自动语义文本索引的方法,自然语言中自动语义文本索引的方法和机器可读磨损
抱歉,该期刊暂不可订阅,敬请期待!
目前支持订阅全部北京大学中文核心(2020)期刊目录。